Graph automorphism problem